Physiological properties, time of development, and central projection are correlated in the wing mechanoreceptors of Drosophila

The wing of Drosophila contains 8 sensory structures (campaniform sensilla), which lie in specific locations and possess identical surface morphology. The axons of the campaniform neurons follow either a medial or a lateral tract within the CNS. Previous studies (Palka et al., 1986) indicate that choice of central pathway correlates with the time of birth and differentiation of the neurons rather than with their topographic distribution on the wing. On the basis of the response properties revealed by mechanical and electrical stimulation, these sensory cells also fall into 2 physiological categories, rapidly and slowly adapting, that correlate exactly with central projection and birthdate. Thus, within this discrete population of sensory neurons there exists a precise 3-way correlation between physiology, central projection, and time of development

Hybrid Pixel Detector Development for the Linear Collider Vertex Tracker

In order to fully exploit the physics potential of the future high energy e+e- linear collider, a Vertex Tracker able to provide particle track extrapolation with very high resolution is needed. Hybrid Si pixel sensors are an attractive technology due to their fast read-out capabilities and radiation hardness. A novel pixel detector layout with interleaved cells has been developed to improve the single point resolution. Results of the characterisation of the first processed prototypes by electrostatic measurements and charge collection studies are discussed.Comment: 5 pages, 1 figure, to appear in the Proceedings of the 9th Int. Workshop on Vertex Detectors, Lake Michigan MI (USA), September~200

Characterisation of Hybrid Pixel Detectors with capacitive charge division

In order to fully exploit the physics potential of the future high energy e+ e- linear collider, a Vertex Tracker providing high resolution track reconstruction is required. Hybrid pixel sensors are an attractive technology due to their fast read-out capabilities and radiation hardness. A novel pixel detector layout with interleaved cells between the readout nodes has been developed to improve the single point resolution. The results of the characterisation of the first processed prototypes are reported.Comment: 5 pages, 2 figures, presented at LCWS2000, Linear Collider Workshop, October 24-28 2000, Fermi National Accelerator Laboratory, Batavia, Illinois, U.S.A. Proceedings to be published by the American Institute of Physic

Ranking programs using black box testing

We present an unbiased method for measuring the relative quality of different solutions to a programming problem. Our method is based on identifying possible bugs from program behaviour through black-box testing. The main motivation for such a method is its use in experimental evaluation of software development methods. We report on the use of our method in a small-scale such experiment, which was aimed at evaluating the effectiveness of property-based testing vs. unit testing in software development. Copyright 2010 ACM

Physiological properties, time of development, and central projection are correlated in the wing mechanoreceptors of Drosophila

The wing of Drosophila contains 8 sensory structures (campaniform sensilla), which lie in specific locations and possess identical surface morphology. The axons of the campaniform neurons follow either a medial or a lateral tract within the CNS. Previous studies (Palka et al., 1986) indicate that choice of central pathway correlates with the time of birth and differentiation of the neurons rather than with their topographic distribution on the wing. On the basis of the response properties revealed by mechanical and electrical stimulation, these sensory cells also fall into 2 physiological categories, rapidly and slowly adapting, that correlate exactly with central projection and birthdate. Thus, within this discrete population of sensory neurons there exists a precise 3-way correlation between physiology, central projection, and time of development

Hybrid pixel detector development for the Linear collider Vertex Detector

In order to fully exploit the Physics potential of future e+ e- linear collider, a Vertex Detector providing high resolution track reconstruction is required. Hybrid Silicon pixel detectors are an attractive option for the sensor technology due to their read-out speed and radiation hardness but have been so far limited by the achievable single point resolution. A novel layout of hybrid pixel sensor with interleaved cells to improve the spatial resolution has been developed. The characterisation of the first processed prototypes is reported.Comment: 5 pages, 5 figures. Presented at the IEEE Nuclear Science Symposium and Medical Imaging Conference, October 15-20 2000, Lyon, Franc

Finding Race Conditions in Erlang with Quick Check and PULSE

We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard to find in practice. Traditional unit testing is normally unable to help finding all race conditions, because their occurrence depends so much on timing. Therefore, race conditions are often found during system testing, where due to the vast amount of code under test, it is often hard to diagnose the error resulting from race conditions. We present three tools (Quick Check, PULSE, and a visualizer) that in combination can be used to test and debug concurrent programs in unit testing with a much better possibility of detecting race conditions. We evaluate our method on an industrial concurrent case study and illustrate how we find and analyze the race conditions

Performances of multi-gap timing RPCs for relativistic ions in the range Z=1-6

We present the performance of Multi-gap timing RPCs under irradiation by fully stripped relativistic ions (gamma*beta=2.7, Z=1-6). A time resolution of 80 ps at high efficiency has been obtained by just using standard `off the shelf' 4-gap timing RPCs from the new HADES ToF wall. The resolution worsened to 100 ps for ~ 1 kHz/cm2 proton flux and for ~ 100 Hz/cm2 Carbon flux. The chambers were operated at a standard field of E=100 kV/cm and showed a high stability during the experiment, supporting the fact that RPCs are a convenient choice when accommodating a very broad range of ionizing particles is needed. The data provides insight in the region of very highly ionizing particles (up to x 36 mips) and can be used to constrain the existing avalanche and Space-Charge models far from the usual `mip valley'. The implications of these results for the general case of detection based on secondary processes (n, gamma) resulting in highly ionizing particles with characteristic energy distributions will be discussed, together with the nature of the time-charge correlation curve.Comment: 31 pages, 19 figures, submitted to JINS